翻訳と辞書 Words near each other ・ Alternative public offering ・ Alternative Pupil Placement for Limited Expelled Students ・ Alternative purchase network ・ Alternative Radio ・ Alternative Records ・ Alternative reggaeton ・ Alternative ribosome-rescue factor A ・ Alternative ribosome-rescue factor B ・ Alternative risk transfer ・ Alternative rock ・ Alternative Roots ・ Alternative school ・ Alternative science ・ Alternative Service Book ・ Alternative Service Program ・ Alternative set theory ・ Alternative Social-Liberal Party ・ Alternative Socialist Alliance – Independents ・ Alternative Software ・ Alternative Songs ・ Alternative splicing ・ Alternative splicing and transcript diversity database ・ Alternative splicing annotation project ・ Alternative stable state ・ Alternative successions of the English crown ・ Alternative teacher certification ・ Alternative technology ・ Alternative Television ・ Alternative Tentacles ・ Alternative terms for free software Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Alternative set theory ： ウィキペディア英語版 Alternative set theory Generically, an alternative set theory is an alternative mathematical approach to the concept of set. It is a proposed alternative to the standard set theory. Some of the alternative set theories are: *the theory of semisets *the set theory New Foundations *Positive set theory *Internal set theory Specifically, Alternative Set Theory (or AST) refers to a particular set theory developed in the 1970s and 1980s by Petr Vopěnka and his students. It builds on some ideas of the theory of semisets, but also introduces more radical changes: for example, all sets are "formally" finite, which means that sets in AST satisfy the law of mathematical induction for set-formulas (more precisely: the part of AST that consists of axioms related to sets only is equivalent to the Zermelo–Fraenkel (or ZF) set theory, in which the axiom of infinity is replaced by its negation). However, some of these sets contain subclasses that are not sets, which makes them different from Cantor (ZF) finite sets and they are called infinite in AST. ==See also== * Non-well-founded set theory 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Alternative set theory」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.